Frontiers in OR/MS Track: Session I PETRI NETS – TUTORIAL AND APPLICATIONS

نویسنده

  • Jeffrey W. Herrmann
چکیده

Petri nets are graphical and mathematical tools for studying discrete event systems. Petri nets have been under extensive development since Petri defined the language in 1962. Various extensions of Petri nets have been developed to study concurrent, asynchronous, distributed, parallel, deterministic, and stochastic system behavior. This paper provides a quick tutorial to learn the basic terminology, concepts, and applications of Petri nets. We introduce the fundamentals of Petri nets and black-and-white Petri nets. We show how to use Petri nets to model and analyze discrete event systems. We also describe some extensions of Petri nets and their applications. We provide a list of references for further reading.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Petri nets and industrial applications: A tutorial

This is a tutorial paper on Petri nets. Petri nets, as a graphical and mathematical tool, provide a uniform environment for modelling, formal analysis, and design of discrete event systems. The main objective of this paper is to introduce the fundamental concepts of Petri nets to the researchers and practitioners, both from academia and industry, who are involved in the work in the areas of mod...

متن کامل

Reliability modelling and evaluation of dynamic systems with stochastic Petri nets (tutorial)

This tutorial covers motivation, use, and advantages of stochastic Petri nets as a tool for reliability evaluation of complex systems. Rare-event simulation techniques are demonstrated, which are applicable to a wide class of reliability problems. While this approach is known in the academic world, is has not yet been adopted much in industrial applications despite its apparent benefits. Additi...

متن کامل

Compositional model checking of concurrent systems, with Petri nets

Compositionality and process equivalence are both standard concepts of process algebra. Compositionality means that the behaviour of a compound system relies only on the behaviour of its components, i.e. there is no emergent behaviour. Process equivalence means that the explicit statespace of a system takes a back seat to its interaction patterns: the information that an environment can obtain ...

متن کامل

Challenges in Business Process Management: Verification of Business Processing Using Petri Nets

Most scientists working on formal methods are mainly focusing on technical systems such as circuit design, embedded systems, traffic control, etc. Few are working on the application of formal methods to business processes. As a result, interesting problems in the domain of Business Process Management (BPM) are not addressed. To stimulate the application of formal methods to BPM, the following t...

متن کامل

Formal Languages and Concurrent Behaviours

This is a tutorial based on a course delivered as part of the International PhD School in Formal Languages and Applications located at the Rovira i Virgili University in Tarragona, Spain. It is focused on an application of formal language theory to represent behaviours of concurrent systems necessitating a generalisation of language theory to traces, which originates with the work of Mazurkiewi...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 1997